Complejidad en verificación de robustez de BNN Descubre los resultados de complejidad para verificar robustez en redes neuronales binarizadas: NP-completo en general, pero polinómico ante oclusión uniforme. 2026-06-18 · 2 min
